'(THIS IS THE UNFASL FOR ((DSK (MRS LSP)) ATC LSP)) 
'(ASSEMBLED BY FASLAP /392) 
'(COMPILED BY LISP COMPILER /936 COMAUX /25 PHAS1 /84 MAKLAP /80 INITIA /117) 

;COMPILED ON NOVEMBER 26, 1982, AT 12:22 PM

;Loading DEFSTRUCT 233
'↑↓-TERM 
'LT-QUANTIFIER 
'ROLELINK 
'PFC-FORMULA 
'ROLEXENTRY 
'LT-λ-EXPR 
'LT-λ-PREFIX 
'PATHKEYLIST 
	(COMMENT **FASL** 0. (LAP |ANTECEDENT MACRO| SUBR)) 
	(COMMENT **FASL** 33. (LAP |CONSEQUENT MACRO| SUBR)) 
	(COMMENT **FASL** 66. (LAP |CONSP MACRO| SUBR)) 
	(COMMENT **FASL** 95. (LAP |*DEFUN MACRO| SUBR)) 
	(COMMENT **FASL** 276. (LAP ISA-PATT-VARIABLE? SUBR)) 
	(COMMENT **FASL** 303. (LAP |LAMBDA-OPR MACRO| SUBR)) 
	(COMMENT **FASL** 332. (LAP |E:DO MACRO| SUBR)) 
	(COMMENT **FASL** 360. (LAP |E:VAR MACRO| SUBR)) 
	(COMMENT **FASL** 392. (LAP E:SETLINE SUBR)) 
	(COMMENT **FASL** 430. (LAP |ADDCONC MACRO| SUBR)) 
	(COMMENT **FASL** 468. (LAP |ENDCONC MACRO| SUBR)) 
	(COMMENT **FASL** 517. (LAP |ENDADD MACRO| SUBR)) 
	(COMMENT **FASL** 572. (LAP |RASSQ MACRO| SUBR)) 
	(COMMENT **FASL** 621. (LAP |EDITXDO MACRO| SUBR)) 
	(COMMENT **FASL** 675. (LAP |EDITDO MACRO| SUBR)) 
	(COMMENT **FASL** 713. (LAP |COPYLIST MACRO| SUBR)) 
	(COMMENT **FASL** 739. (LAP |BUTLAST MACRO| SUBR)) 
	(COMMENT **FASL** 770. (LAP |REPEAT MACRO| SUBR)) 
	(COMMENT **FASL** 810. (LAP |SETF* MACRO| SUBR)) 
	(COMMENT **FASL** 846. (LAP |SOME MACRO| SUBR)) 
	(COMMENT **FASL** 911. (LAP |ALL MACRO| SUBR)) 
	(COMMENT **FASL** 979. (LAP |SUBSET MACRO| SUBR)) 
	(COMMENT **FASL** 1029. (LAP GOOD-NREVERSE SUBR)) 
	(COMMENT **FASL** 1086. (LAP NSUBLIS SUBR)) 
	(COMMENT **FASL** 1146. (LAP |HUNKQUANTP MACRO| SUBR)) 
	(COMMENT **FASL** 1181. (LAP QNSUBLIS SUBR)) 
	(COMMENT **FASL** 1316. (LAP |CONDCARPUSH MACRO| SUBR)) 
	(COMMENT **FASL** 1378. (LAP |WRITE MACRO| SUBR)) 
	(COMMENT **FASL** 1457. (LAP SPACES SUBR)) 
	(COMMENT **FASL** 1474. (LAP |NORMALIZE-CONNECTIVE MACRO| SUBR)) 
	(COMMENT **FASL** 1504. (LAP LINTYPE SUBR)) 
	(COMMENT **FASL** 1707. (LAP E-LIN SUBR)) 
	(COMMENT **FASL** 1708. (LAP E-LIN-C SUBR)) 
	(COMMENT **FASL** 1712. (LAP ENCODE-LINFORMULA SUBR)) 
	(COMMENT **FASL** 1722. (LAP |SETUPQUANTS MACRO| SUBR)) 
	(COMMENT **FASL** 1771. (LAP |ORDER-PATHKEYS MACRO| SUBR)) 
	(COMMENT **FASL** 1797. (LAP ENCODE-LINFORMULA-S SUBR)) 
	(COMMENT **FASL** 2080. (LAP TRANSFORM-ROLELINKS SUBR)) 
	(COMMENT **FASL** 2211. (LAP |NORMALIZE-DETERMINER MACRO| SUBR)) 
	(COMMENT **FASL** 2275. (LAP ENCODE-QUANT SUBR)) 
	(COMMENT **FASL** 2475. (LAP VARIABLE-RANGE SUBR)) 
	(COMMENT **FASL** 2518. (LAP GETFORMULA SUBR)) 
	(COMMENT **FASL** 2545. (LAP |ATC-GET MACRO| SUBR)) 
	(COMMENT **FASL** 2605. (LAP |ATC-PLIST MACRO| SUBR)) 
	(COMMENT **FASL** 2684. (LAP Q-KERNEL SUBR)) 
	(COMMENT **FASL** 2699. (LAP Q-KERNEL-LT-TYPE SUBR)) 
	(COMMENT **FASL** 2701. (LAP LT-TYPE SUBR)) 
	(COMMENT **FASL** 2912. (LAP LT-TYPE* SUBR)) 
	(COMMENT **FASL** 3098. (LAP DISPLAY LSUBR)) 
	(COMMENT **FASL** 3122. (LAP DPYLIST SUBR)) 
	(COMMENT **FASL** 3139. (LAP VNSUBLIS SUBR)) 
	(COMMENT **FASL** 3166. (LAP |INITIALIZE-GENVARINDEX MACRO| SUBR)) 
	(COMMENT **FASL** 3175. (LAP GENVAR LSUBR)) 
	(COMMENT **FASL** 3308. (LAP |TERMSORT-VARANGE MACRO| SUBR)) 
	(COMMENT **FASL** 3339. (LAP MAKE-QVLIST SUBR)) 
	(COMMENT **FASL** 3532. (LAP |UNARY-ATOMIC MACRO| SUBR)) 
	(COMMENT **FASL** 3579. (LAP |NOPAREN-DISJUNCT MACRO| SUBR)) 
	(COMMENT **FASL** 3588. (LAP |DPYLIST-ROLINK MACRO| SUBR)) 
	(COMMENT **FASL** 3656. (LAP |MAKE-↑↓-[-ATOM MACRO| SUBR)) 
	(COMMENT **FASL** 3688. (LAP |Z-BASE-EQUIV MACRO| SUBR)) 
	(COMMENT **FASL** 3720. (LAP DPYLIST-S SUBR)) 
	(COMMENT **FASL** 4473. (LAP TCONC SUBR)) 
	(COMMENT **FASL** 4504. (LAP LCONC SUBR)) 
	(COMMENT **FASL** 4542. (LAP TERMSORT SUBR)) 
	(COMMENT **FASL** 4650. (LAP NORMALIZE-TERMSORTEXPR SUBR)) 
	(COMMENT **FASL** 4694. (LAP |PRINCLIST MACRO| SUBR)) 
	(COMMENT **FASL** 4721. (LAP |PRINSOURCECHUNK MACRO| SUBR)) 
	(COMMENT **FASL** 4730. (LAP |GETSBQLINE MACRO| SUBR)) 
	(COMMENT **FASL** 4805. (LAP |NEXTITEMSIZE MACRO| SUBR)) 
	(COMMENT **FASL** 4833. (LAP |PRINITEMS MACRO| SUBR)) 
	(COMMENT **FASL** 4897. (LAP |PRINSUBQUANT1 MACRO| SUBR)) 
	(COMMENT **FASL** 4930. (LAP |PRINSUBQUANT2 MACRO| SUBR)) 
	(COMMENT **FASL** 4963. (LAP |GETQUANTLINE MACRO| SUBR)) 
	(COMMENT **FASL** 5014. (LAP |GETλ-LINE MACRO| SUBR)) 
	(COMMENT **FASL** 5063. (LAP |MAXVARIABLENGTH MACRO| SUBR)) 
	(COMMENT **FASL** 5098. (LAP |SPACELEFT MACRO| SUBR)) 
	(COMMENT **FASL** 5107. (LAP STRAIGHTPRIN SUBR)) 
	(COMMENT **FASL** 5371. (LAP PRINQUANT SUBR)) 
	(COMMENT **FASL** 5648. (LAP PRINλ-EXPR SUBR)) 
	(COMMENT **FASL** 5699. (LAP TAB SUBR)) 
	(COMMENT **FASL** 5729. (LAP CURRENTPOS LSUBR)) 
'LINK-NODE 
'LEAF-NODE 
'LTCC-PLIST 
	(COMMENT **FASL** 5745. (LAP NRML-ANL-YZE-LINFORMULA LSUBR)) 
	(COMMENT **FASL** 5775. (LAP |NRML-FORMULA MACRO| SUBR)) 
	(COMMENT **FASL** 5804. (LAP |NRML-ANL-YZE MACRO| SUBR)) 
	(COMMENT **FASL** 5857. (LAP |LT-CONCEPT-TYPE MACRO| SUBR)) 
	(COMMENT **FASL** 5908. (LAP |ADD-NEWLINK MACRO| SUBR)) 
	(COMMENT **FASL** 5956. (LAP |LEAF-UNIT MACRO| SUBR)) 
	(COMMENT **FASL** 5981. (LAP NORMALIZE-CMPD-CONCEPT LSUBR)) 
	(COMMENT **FASL** 6072. (LAP INITIALIZE-CMPD-CONCEPT SUBR)) 
	(COMMENT **FASL** 6145. (LAP |CONCEPT-BODY MACRO| SUBR)) 
	(COMMENT **FASL** 6188. (LAP |1ST-PROCESS-↑-MATRIX MACRO| SUBR)) 
	(COMMENT **FASL** 6244. (LAP |PROCESS-↑-MATRIX MACRO| SUBR)) 
	(COMMENT **FASL** 6298. (LAP |COLLECT-IMAGES MACRO| SUBR)) 
	(COMMENT **FASL** 6354. (LAP |MERGED-PKLS MACRO| SUBR)) 
	(COMMENT **FASL** 6381. (LAP |SETUP-λ-EXPR MACRO| SUBR)) 
	(COMMENT **FASL** 6449. (LAP |PREVIOUS-LETTER MACRO| SUBR)) 
	(COMMENT **FASL** 6482. (LAP |ANALYZE-ADVERBIALIZATION MACRO| SUBR)) 
	(COMMENT **FASL** 6549. (LAP |INST-KEYS MACRO| SUBR)) 
	(COMMENT **FASL** 6611. (LAP ORDER-CNCPTS SUBR)) 
	(COMMENT **FASL** 6616. (LAP PRECEDES-CNCPT SUBR)) 
	(COMMENT **FASL** 6919. (LAP |GET-PKL-POSITION MACRO| SUBR)) 
	(COMMENT **FASL** 6990. (LAP |GET-Q-OP MACRO| SUBR)) 
	(COMMENT **FASL** 7047. (LAP |↑-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 7074. (LAP |λ-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 7101. (LAP |*-OR-↑-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 7127. (LAP |*-OR-C-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 7153. (LAP |C-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 7180. (LAP |2:9-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 7217. (LAP |NUMERAL-ASCII MACRO| SUBR)) 
	(COMMENT **FASL** 7254. (LAP |λ↑-RAISE-CC-OP MACRO| SUBR)) 
	(COMMENT **FASL** 7287. (LAP |RAISE-CC MACRO| SUBR)) 
	(COMMENT **FASL** 7343. (LAP |RAISE-CC-OP MACRO| SUBR)) 
	(COMMENT **FASL** 7376. (LAP |GET-BASE-OP MACRO| SUBR)) 
	(COMMENT **FASL** 7424. (LAP |GET-S&S-KEY MACRO| SUBR)) 
	(COMMENT **FASL** 7480. (LAP NORMRAISE-CC LSUBR)) 
	(COMMENT **FASL** 7989. (LAP QV-QUASI-UNSUBST LSUBR)) 
	(COMMENT **FASL** 8288. (LAP ANALYZE-CMPD-CONCEPT LSUBR)) 
	(COMMENT **FASL** 10274. (LAP NACC LSUBR)) 
	(COMMENT **FASL** 10316. (LAP |GET-PK-POSITION MACRO| SUBR)) 
	(COMMENT **FASL** 10359. (LAP |GET-MERGEKEYS MACRO| SUBR)) 
	(COMMENT **FASL** 10415. (LAP |EXPAND-MERGED-PKEYLISTS MACRO| SUBR)) 
	(COMMENT **FASL** 10472. (LAP ANALYZE-ROLEMERGE SUBR)) 
	(COMMENT **FASL** 10669. (LAP ATOM-CONVERTIBLE SUBR)) 
	(COMMENT **FASL** 10719. (LAP ADJUST-λ-TERMSORT SUBR)) 
	(COMMENT **FASL** 10754. (LAP COMMON-SUBSORT* SUBR)) 
	(COMMENT **FASL** 10798. (LAP SUPERSORT* SUBR)) 
	(COMMENT **FASL** 10935. (LAP |MAKE-↑-MARKER MACRO| SUBR)) 
	(COMMENT **FASL** 10998. (LAP PATHKEY-SORT SUBR)) 
	(COMMENT **FASL** 11149. (LAP GET-ROLELINK SUBR)) 
	(COMMENT **FASL** 11182. (LAP |ALPHA-NTH MACRO| SUBR)) 
	(COMMENT **FASL** 11227. (LAP TERM-SUBRANCH SUBR)) 
	(COMMENT **FASL** 11309. (LAP COPYALLCONS SUBR)) 
	(COMMENT **FASL** 11325. (LAP COPY-1-1-PKLS SUBR)) 
	(COMMENT **FASL** 11362. (LAP LT-COPYALL SUBR)) 
	(COMMENT **FASL** 11370. (LAP LT-SUBST SUBR)) 
	(COMMENT **FASL** 11381. (LAP LT-SUBST* SUBR)) 
	(COMMENT **FASL** 11622. (LAP SELECT&SHORTEN SUBR)) 
	(COMMENT **FASL** 11687. (LAP |[MRS,LSP]ATC.LSP←1.| SUBR)) 
	(COMMENT **FASL** 11692. (LAP ORDER-PATHKEYLISTS SUBR)) 
	(COMMENT **FASL** 11694. (LAP |PRECEDES-ARG MACRO| SUBR)) 
	(COMMENT **FASL** 11733. (LAP COMPARE-ARGS SUBR)) 
	(COMMENT **FASL** 11998. (LAP CA-PUNT SUBR)) 
	(COMMENT **FASL** 12020. (LAP COMPARE-PFC-FORMULAS SUBR)) 
	(COMMENT **FASL** 12110. (LAP COMPARE-VECTORS SUBR)) 
	(COMMENT **FASL** 12158. (LAP |SOME-DUPLICATE-ROLEMARKS MACRO| SUBR)) 
	(COMMENT **FASL** 12189. (LAP |[MRS,LSP]ATC.LSP←2.| SUBR)) 
	(COMMENT **FASL** 12209. (LAP ORDER-ROLELINKS SUBR)) 
	(COMMENT **FASL** 12247. (LAP COMPARE-ROLEORDER SUBR)) 
	(COMMENT **FASL** 12253. (LAP CULL-EQS SUBR)) 
	(COMMENT **FASL** 12272. (LAP |CONDENSE-RL-KEYLISTS MACRO| SUBR)) 
	(COMMENT **FASL** 12311. (LAP SOME-DUPLICATE-IK-ROLEMARKS SUBR)) 
	(COMMENT **FASL** 12399. (LAP |ATOM-QUASI-UNSUBST MACRO| SUBR)) 
	(COMMENT **FASL** 12450. (LAP ANALYZE-INSTANTIATION SUBR)) 
	(COMMENT **FASL** 12909. (LAP λ-UNSUBST LSUBR)) 
	(COMMENT **FASL** 13024. (LAP |CC-KEY-ROLINK-NUMBER MACRO| SUBR)) 
	(COMMENT **FASL** 13075. (LAP |INITSTR= MACRO| SUBR)) 
	(COMMENT **FASL** 13128. (LAP λ-INST-KEY SUBR)) 
	(COMMENT **FASL** 13204. (LAP RAISEATOM SUBR)) 
	(COMMENT **FASL** 13253. (LAP GET-↑-MARKER SUBR)) 
	(COMMENT **FASL** 13294. (LAP GET-↑-TALLY SUBR)) 
	(COMMENT **FASL** 13412. (LAP LOWER-↑-ATOM SUBR)) 
	(COMMENT **FASL** 13460. (LAP LOWER-λ-TERMSORTS SUBR)) 
	(COMMENT **FASL** 13501. (LAP RAISE-λ-TERMSORTS SUBR)) 
	(COMMENT **FASL** 13539. (LAP RAISE↑-TERM SUBR)) 
	(COMMENT **FASL** 13576. (LAP |NEXTLETTER MACRO| SUBR)) 
	(COMMENT **FASL** 13609. (LAP KEYNUMBER SUBR)) 
	(COMMENT **FASL** 13631. (LAP |LISTCOMPS MACRO| SUBR)) 
	(COMMENT **FASL** 13663. (LAP |EXPOUND-ANALYSIS-MODULE-1 MACRO| SUBR)) 
	(COMMENT **FASL** 13780. (LAP POSPRINC LSUBR)) 
	(COMMENT **FASL** 13847. (LAP ANALYZE&EXPOUND LSUBR)) 
	(COMMENT **FASL** 14155. (LAP A&E LSUBR)) 
	(COMMENT **FASL** 14178. (LAP FIX-AL SUBR)) 
	(COMMENT **FASL** 14245. (LAP EXPOUND-ANALYSIS-MODULE-2 SUBR)) 
	(COMMENT **FASL** 14413. (LAP EXPLORE-DNET LSUBR)) 
	(COMMENT **FASL** 14591. (LAP XPDN LSUBR)) 
	(COMMENT **FASL** 14615. (LAP GET-XPDN-COMMAND SUBR)) 
	(COMMENT **FASL** 14619. (LAP TRAVERSE-LINKS SUBR)) 
	(COMMENT **FASL** 14858. (LAP DISPLAY-KEYPATH SUBR)) 
	(COMMENT **FASL** 14981. (LAP DISPLAY-NODE SUBR)) 
	(COMMENT **FASL** 15163. (LAP EXTEND-CURRENT-KEYPATH SUBR)) 
	(COMMENT **FASL** 15229. (LAP SHORTEN-CURRENT-NODEPATH SUBR)) 
	(COMMENT **FASL** 15405. (LAP COUNT-LINKS&LEAVES SUBR)) 
	(COMMENT **FASL** 15492. (LAP PRINT-PROPERTIES SUBR)) 
'HELP-TABLE-ENTRY 
	(COMMENT **FASL** 15794. (LAP XPDN-HELP SUBR)) 
	(COMMENT **FASL** 15904. (LAP LT-EVAL SUBR)) 
	(COMMENT **FASL** 16045. (LAP WEAKEST-STATUS SUBR)) 
	(COMMENT **FASL** 16064. (LAP SORT-MEMBER SUBR)) 
	(COMMENT **FASL** 16077. (LAP SORT-EXCLUSIVE SUBR)) 
	(COMMENT **FASL** 16148. (LAP |ES-FILTER MACRO| SUBR)) 
	(COMMENT **FASL** 16174. (LAP LT-GROSSEVAL SUBR)) 
(COMMENT ****  (π-PLIST π-GET π-YH-UNITP π-PUTPROP π-MAKE-UNIT EM:ECOMMANDS) 
		have been used but remain undefined in this file)
	(COMMENT **FASL** TOTAL =  16192. WORDS)